lambda papers造句

In the 1970s, lexically scoped and ( impurely ) functional dialect of Lisp, as described in the influential Lambda Papers and the classic 1985 textbook " Structure and Interpretation of Computer Programs ", brought awareness of the power of functional programming to the wider programming-languages community.
Sussman and Steele showed that the new language could be used to elegantly derive all the imperative and declarative semantics of other programming languages including ALGOL and Fortran, and the dynamic scope of other Lisps, by using lambda expressions not as simple procedure instantiations but as " control structures and environment modifiers . " They introduced continuation-passing style along with their first description of Scheme in the first of the Lambda Papers, and in subsequent papers they proceeded to demonstrate the raw power of this practical use of lambda calculus.
It's difficult to find lambda papers in a sentence. 用lambda papers造句挺难的